Search results for " autonomous vehicles"
showing 4 items of 4 documents
Traffic congestion reduction based on vehicle platoons and intelligent crossroads interactions
2021
Intersections are at the core of urban congestion. For more than a decade, new approaches based on autonomous and connected driving have been proposed. They aim to improve the performance of traffic control at intersections, by harnessing connectivity and driving automation (longitudinal control). These approaches have in common the fact that vehicles can negotiate together their right of way to use the conflicting space. However, they are different in terms of the way they share the space and optimization techniques. The challenge is to define the sequence of access of vehicles to the common space (which one goes first, which is the second, and so on) and the speed profile of vehicles to a…
ROAD SAFETY PERFORMANCES FROM MICRO-SIMULATION CONSIDERING AUTONOMOUS VEHICLES OPERATIONS
2019
Introduction of Autonomous Vehicles in road traffic will remove the impact of the human factor from the driver’s decision-making process, and will transform the criteria for road network design, road infrastructure administration, traffic modeling and assessment tools for road safety management. The paper presents a microsimulation-based approach for safety performance evaluation of roundabouts where different percentages of Autonomous Vehicles are mixed with Conventional Vehicles. The simulated vehicle trajectories exported from VISSIM were used as a basis to estimate traffic conflicts through the Surrogate Safety Assessment Model (SSAM) for a sample of European roundabouts. In order to be…
Integrated Simulation and Formal Verification of a Simple Autonomous Vehicle
2018
This paper presents a proof-of-concept application of an approach to system development based on the integration of formal verification and co-simulation. A simple autonomous vehicle has the task of reaching an assigned straight path and then follow it, and it can be controlled by varying its turning speed. The correctness of the proposed control law has been formalized and verified by interactive theorem proving with the Prototype Verification System. Concurrently, the system has been co-simulated using the Prototype Verification System and the MathWorks Simulink tool: The vehicle kinematics have been simulated in Simulink, whereas the controller has been modeled in the logic language of t…
Decentralized Coordination System for Multiple AGVs in a Structured Environment
2011
Abstract In this paper, we propose a decentralized coordination algorithm for safe and efficient management of a group of mobile robots following predefined paths in a dynamic industrial environment. The proposed algorithm is based on shared resources and proved to guarantee ordered traffic flows avoiding collisions and deadlocks. In consistency with the model of distributed robotic systems (DRS), no centralized mechanism, synchronized clock, shared memory or ground support is needed. A local inter-robot communication is required among a small number of spatially adjacent robotic units.